退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:时间性高阶契约
Tim Disney; Cormac Flanagan; Jay Mccarthy;
机译:临时高阶合同
机译:基于高阶逻辑定理证明的智能合同验证的一般正式记忆框架
机译:具有背景风险和较高阶风险态度的最优保险合同
机译:使用高阶导数来估计具有过度拱形时间趋势的阻尼线性振荡器模型。
机译:高阶有状态程序的软合同验证
机译:具有高阶时间池化功能的分层时间存储系统
机译:具有更高阶时间处理能力的分层时间记忆系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。